1. Automated Technology for Verification and Analysis
پدیدآورنده: / Bernd Finkbeiner, Geguang Pu, Lijun Zhang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
2. Automated Technology for Verification and Analysis
پدیدآورنده: \ Bernd Finkbeiner, Geguang Pu, Lijun Zhang
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Automatic theorem proving -- Congresses.,Artificial intelligence -- Congresses.,اثبات قضیه خودکار -- کنگره ها , هوش مصنوعی -- کنگره ها
رده :
QA76
.
9
.
A96
A82
2015
E-Book
,
